#
# This is a Makefile for the Murphi model of HyperWall
#

MURPHI = ../src/mu 
MOPTS  = 

CXX = g++ -DCATCH_DIV -fno-default-inline -Wno-deprecated
INCLUDE = ../include/

all: hw1 hw3 hwssl3 hw4 hw5 hw6


hw1: hw1.cpp
	${CXX} -I${INCLUDE} HyperWall1.cpp -o hw1 -lm

hw1.cpp: 
	${MURPHI} ${MOPTS} HyperWall1.m


hw3: hw3.cpp
	${CXX} -I${INCLUDE} HyperWall3.cpp -o hw3 -lm

hw3.cpp: 
	${MURPHI} ${MOPTS} HyperWall3.m


hwssl3: hwssl3.cpp
	${CXX} -I${INCLUDE} HyperWallSSL3.cpp -o hwssl3 -lm

hwssl3.cpp: 
	${MURPHI} ${MOPTS} HyperWallSSL3.m


hw4: hw4.cpp
	${CXX} -I${INCLUDE} HyperWall_protocol4.cpp -o hw4 -lm

hw4.cpp: 
	${MURPHI} ${MOPTS} HyperWall_protocol4.m


hw5: hw5.cpp
	${CXX} -I${INCLUDE} HyperWall5.cpp -o hw5 -lm

hw5.cpp: 
	${MURPHI} ${MOPTS} HyperWall5.m


hw6: hw6.cpp
	${CXX} -I${INCLUDE} HyperWall_protocol6.cpp -o hw6 -lm

hw6.cpp: 
	${MURPHI} ${MOPTS} HyperWall_protocol6.m


clean:
	rm -f hw1 hw3 hwssl3 hw4 hw5 hw6 *.cpp *~
	
